On Checking Linear Dependence of Parametric Vectors
نویسندگان
چکیده
Checking linear dependence of a finite number of vectors is a basic problem in linear algebra. We aim to extend the theory of linear dependence to parametric vectors where the entries are polynomials. This dependency depends on the specifications of the parameters or values of the variables in the polynomials. We propose a new method to check if parametric vectors are linearly dependent. Furthermore, this new method can also give the maximal linearly independent subset, and by which the remaining vectors are expressed in a linear combination. The new method is based on the computation of comprehensive Gröbner system for a finite set of parametric polynomials.
منابع مشابه
Parametric Verification of Weighted Systems
This paper addresses the problem of parametric model checking for weighted transition systems. We consider transition systems labelled with linear equations over a set of parameters and we use them to provide semantics for a parametric version of weighted CTL where the until and next operators are themselves indexed with linear equations. The parameters change the modelchecking problem into a p...
متن کاملConstruction of a surface pencil with a common special surface curve
In this study, we introduce a new type of surface curves called $D$-type curve. This curve is defined by the property that the unit Darboux vector $vec{W}_{0} $ of a surface curve $vec{r}(s)$ and unit surface normal $vec{n} $ along the curve $vec{r}(s)$ satisfy the condition $leftlangle vec{n} ,vec{W}_{0} rightrangle =text{constant}$. We point out that a $D$-type curve is a geodesic curve or an...
متن کاملNew concepts on the fuzzy linear systems and an application
As we know, developing mathematical models and numerical procedures that would appropriately treat and solve systems of linear equations where some of the system's parameters are proposed as fuzzy numbers is very important in fuzzy set theory. For this reason, many researchers have used various numerical methods to solve fuzzy linear systems. In this paper, we define the concepts of midpoint a...
متن کاملScalable Mutual Information Estimation using Dependence Graphs
We propose a unified method for empirical non-parametric estimation of general Mutual Information (MI) func-tion between the random vectors in R based on N i.i.d. samples.The proposed low complexity estimator is based on a bipartitegraph, referred to as dependence graph. The data points aremapped to the vertices of this graph using randomized LocalitySensitive Hashing (L...
متن کاملImproving Tests of Abnormal Returns by Bootstrapping the Multivariate Regression Model with Event Parameters
Parametric dummy variable-based tests for event studies using multivariate regression are not robust to nonnormality of the residual, even for arbitrarily large sample sizes. Bootstrap alternatives are described, investigated, and compared for cases where there are nonnormalities, cross-sectional and time series dependencies. Independent bootstrapping of residual vectors from the multivariate r...
متن کامل